Optimizing compilation with preservation of structural code coverage metrics to support software testing

Code-coverage-based testing is a widely-used testing strategy with the aim of providing a meaningful decision criterion for the adequacy of a test suite. Code-coverage-based testing is also mandated for the development of safety-critical applications; for example, the DO178b document requires the application of the modified condition/decision coverage. One critical issue of code-coverage testing is that structural code coverage criteria are typically applied to source code whereas the generated machine code may result in a different code structure because of code optimizations performed by a compiler. In this work, we present the automatic calculation of coverage profiles describing which structural code-coverage criteria are preserved by which code optimization, independently of the concrete test suite. These coverage profiles allow to easily extend compilers with the feature of preserving any given code-coverage criteria by enabling only those code optimizations that preserve it. Furthermore, we describe the integration of these coverage profile into the compiler GCC. With these coverage profiles, we answer the question of how much code optimization is possible without compromising the error-detection likelihood of a given test suite. Experimental results conclude that the performance cost to achieve preservation of structural code coverage in GCC is rather low.Peer reviewedSubmitted Versio

Promoting Quality Use of Medicines in South-East Asia: Reports from Country Situational Analyses

Irrational use of medicines is widespread in the South-East Asia Region (SEAR), where policy implementation to encourage quality use of medicines (QUM) is often low. The aim was to determine whether public-sector QUM is better in SEAR countries implementing essential medicines (EM) policies than in those not implementing them

Prescribing practices of primary-care veterinary practitioners in dogs diagnosed with bacterial pyoderma

Concern has been raised regarding the potential contributions of veterinary antimicrobial use to increasing levels of resistance in bacteria critically important to human health. Canine pyoderma is a frequent, often recurrent diagnosis in pet dogs, usually attributable to secondary bacterial infection of the skin. Lesions can range in severity based on the location, total area and depth of tissue affected and antimicrobial therapy is recommended for resolution. This study aimed to describe patient signalment, disease characteristics and treatment prescribed in a large number of UK, primary-care canine pyoderma cases and to estimate pyoderma prevalence in the UK vet-visiting canine population

Counting the costs: Comparing depot medroxyprogesterone acetate and norethisterone oenanthate utilisation patterns in South Africa

BACKGROUND: In South Africa, where health care resources are limited, it is important to ensure that drugs provision and use is rational. The Essential Drug List includes depot medroxyprogesterone acetate (DMPA) and norethisterone oenanthate (NET-EN) as injectable progestagen-only contraceptives (IPCs), and both products are extensively used. OBJECTIVES AND METHODS: Utilisation patterns of the injectable contraceptive products DMPA and NET-EN are compared in the context of current knowledge of the safety and efficacy of these agents. Utilisation patterns were analysed by means of a Pareto (ABC) analysis of IPCs issued from 4 South African provincial pharmaceutical depots over 3 financial years. A case study from rural KwaZulu-Natal, South Africa, is used to examine utilisation patterns and self-reported side effects experienced by 187 women using IPCs. RESULTS: IPCs accounted for a substantial share of total state expenditure on drugs. While more DMPA than NET-EN was issued, NET-EN distribution from 2 depots increased over the 3-year period. Since DMPA was cheaper, if all NET-EN clients in the 1999/2000 financial year (annualised) had used DMPA, the 4 depots could have saved 4.95 million South African Rands on product acquisition costs alone. The KZN case study showed slightly more NET-EN (54%) than DMPA (46%) use; no significant differences in self-reported side effects; and that younger women were more likely to use NET-EN than DMPA (p = 0.0001). CONCLUSIONS: Providing IPCs on the basis of age is not appropriate or cost effective. Rational use of these products should include consideration of the cost of prescribing one over another

Classifying nursing organization in wards in Norwegian hospitals: self-identification versus observation

<p>Abstract</p> <p>Background</p> <p>The organization of nursing services could be important to the quality of patient care and staff satisfaction. However, there is no universally accepted nomenclature for this organization. The objective of the current study was to classify general hospital wards based on data describing organizational practice reported by the ward nurse managers, and then to compare this classification with the name used in the wards to identify the organizational model (self-identification).</p> <p>Methods</p> <p>In a cross-sectional postal survey, 93 ward nurse managers in Norwegian hospitals responded to questions about nursing organization in their wards, and what they called their organizational models. K-means cluster analysis was used to classify the wards according to the pattern of activities attributed to the different nursing roles and discriminant analysis was used to interpret the solutions. Cross-tabulation was used to validate the solutions and to compare the classification obtained from the cluster analysis with that obtained by self-identification. The bootstrapping technique was used to assess the generalizability of the cluster solution.</p> <p>Results</p> <p>The cluster analyses produced two alternative solutions using two and three clusters, respectively. The three-cluster solution was considered to be the best representation of the organizational models: 32 team leader-dominated wards, 23 primary nurse-dominated wards and 38 wards with a hybrid or mixed organization. There was moderate correspondence between the three-cluster solution and the models obtained by self-identification. Cross-tabulation supported the empirical classification as being representative for variations in nursing service organization. Ninety-four per cent of the bootstrap replications showed the same pattern as the cluster solution in the study sample.</p> <p>Conclusions</p> <p>A meaningful classification of wards was achieved through an empirical cluster solution; this was, however, only moderately consistent with the self-identification. This empirical classification is an objective approach to variable construction and can be generally applied across Norwegian hospitals. The classification procedure used in the study could be developed into a standardized method for classifying hospital wards across health systems and over time.</p

Understanding physical activity promotion in physiotherapy practice: A qualitative study

Objective: Physical inactivity is a major public health issue and healthcare professionals are encouraged to promote physical activity during routine patient contacts in order to reduce non-communicable diseases and enhance individuals’ quality of life. Little is known about physical activity promotion in physiotherapy practice in the UK. The aim of this study was to better understand physiotherapists’ experience of physical activity promotion in clinical practice. Design: A qualitative study was undertaken comprising 12 telephone interviews with participants using a quota sampling approach. The qualitative data was analysed using a thematic analysis approach and written up according to COREQ guidelines. Findings: Four themes were identified (1) Current physiotherapy practice (2) Barriers to, and facilitators of physical activity promotion, (3) Exercise or physical activity? and (4) Functional restoration versus general wellbeing. Conclusions: Physiotherapists use routine clinical contacts to discuss physical activity. However, brief interventions are not consistently used and no common framework to guide physical activity promotion was identified. Approaches appear to be inconsistent and informal and focus largely on short-term restoration of function rather than health promotion. There is scope to improve practice in line with current guidance to maximise potential impact on inactivity

Consumer involvement in Quality Use of Medicines (QUM) projects – lessons from Australia

BACKGROUND: It is essential that knowledge gained through health services research is collated and made available for evaluation, for policy purposes and to enable collaboration between people working in similar areas (capacity building). The Australian Quality Use of Medicine (QUM) on-line, web-based project database, known as the QUMmap, was designed to meet these needs for a specific sub-section of health services research related to improving the use of medicines. Australia's National Strategy for Quality Use of Medicines identifies the primacy of consumers as a major principle for quality use of medicines, and aims to support consumer led research. The aim of this study was to determine how consumers as a group have been represented in QUM projects in Australia. A secondary aim was to investigate how the projects with consumer involvement fit into Australia's QUM policy framework. METHOD: Using the web-based QUMmap, all projects which claimed consumer involvement were identified and stratified into four categories, projects undertaken by; (a) consumers for consumers, (b) health professionals for consumers, (c) health professionals for health professionals, and (d) other. Projects in the first two categories were then classified according to the policy 'building blocks' considered necessary to achieve QUM. RESULTS: Of the 143 'consumer' projects identified, the majority stated to be 'for consumers' were either actually by health professionals for health professionals (c) or by health professionals for consumers (b) (47% and 40% respectively). Only 12 projects (9%) were directly undertaken by consumers or consumer groups for consumers (a). The majority of the health professionals for consumers (b) projects were directed at the provision of services and interventions, but were not focusing on the education, training or skill development of consumers. CONCLUSION: Health services research relating to QUM is active in Australia and the projects are collated and searchable on the web-based interactive QUMmap. Healthcare professionals appear to be dominating nominally 'consumer focussed' research, with less than half of these projects actively involving the consumers or directly benefiting consumers. The QUMmap provides a valuable tool for policy analysis and for provision of future directions through identification of QUM initiatives

More support for mothers: a qualitative study on factors affecting immunisation behaviour in Kampala, Uganda

<p>Abstract</p> <p>Background</p> <p>The proportion of Ugandan children who are fully vaccinated has varied over the years. Understanding vaccination behaviour is important for the success of the immunisation programme. This study examined influences on immunisation behaviour using the attitude-social influence-self efficacy model.</p> <p>Methods</p> <p>We conducted nine focus group discussions (FGDs) with mothers and fathers. Eight key informant interviews (KIIs) were held with those in charge of community mobilisation for immunisation, fathers and mothers. Data was analysed using content analysis.</p> <p>Results</p> <p>Influences on the mother's immunisation behaviour ranged from the non-supportive role of male partners sometimes resulting into intimate partner violence, lack of presentable clothing which made mothers vulnerable to bullying, inconvenient schedules and time constraints, to suspicion against immunisation such as vaccines cause physical disability and/or death.</p> <p>Conclusions</p> <p>Immunisation programmes should position themselves to address social contexts. A community programme that empowers women economically and helps men recognise the role of women in decision making for child health is needed. Increasing male involvement and knowledge of immunisation concepts among caretakers could improve immunisation.</p

Limits to modern contraceptive use among young women in developing countries: a systematic review of qualitative research

<p>Abstract</p> <p>Background</p> <p>Improving the reproductive health of young women in developing countries requires access to safe and effective methods of fertility control, but most rely on traditional rather than modern contraceptives such as condoms or oral/injectable hormonal methods. We conducted a systematic review of qualitative research to examine the limits to modern contraceptive use identified by young women in developing countries. Focusing on qualitative research allows the assessment of complex processes often missed in quantitative analyses.</p> <p>Methods</p> <p>Literature searches of 23 databases, including Medline, Embase and POPLINE^®, were conducted. Literature from 1970–2006 concerning the 11–24 years age group was included. Studies were critically appraised and meta-ethnography was used to synthesise the data.</p> <p>Results</p> <p>Of the 12 studies which met the inclusion criteria, seven met the quality criteria and are included in the synthesis (six from sub-Saharan Africa; one from South-East Asia). Sample sizes ranged from 16 to 149 young women (age range 13–19 years). Four of the studies were urban based, one was rural, one semi-rural, and one mixed (predominantly rural). Use of hormonal methods was limited by lack of knowledge, obstacles to access and concern over side effects, especially fear of infertility. Although often more accessible, and sometimes more attractive than hormonal methods, condom use was limited by association with disease and promiscuity, together with greater male control. As a result young women often relied on traditional methods or abortion. Although the review was limited to five countries and conditions are not homogenous for all young women in all developing countries, the overarching themes were common across different settings and contexts, supporting the potential transferability of interventions to improve reproductive health.</p> <p>Conclusion</p> <p>Increasing modern contraceptive method use requires community-wide, multifaceted interventions and the combined provision of information, life skills, support and access to youth-friendly services. Interventions should aim to counter negative perceptions of modern contraceptive methods and the dual role of condoms for contraception and STI prevention should be exploited, despite the challenges involved.</p

Cardiac rehabilitation adapted to transient ischaemic attack and stroke (CRAFTS): a randomised controlled trial

<p>Abstract</p> <p>Background</p> <p>Coronary Heart Disease and Cerebrovascular Disease share many predisposing, modifiable risk factors (hypertension, abnormal blood lipids and lipoproteins, cigarette smoking, physical inactivity, obesity and diabetes mellitus). Lifestyle interventions and pharmacological therapy are recognised as the cornerstones of secondary prevention. Cochrane review has proven the benefits of programmes incorporating exercise and lifestyle counselling in the cardiac disease population. A Cochrane review highlighted as priority, the need to establish feasibility and efficacy of exercise based interventions for Cerebrovascular Disease.</p> <p>Methods</p> <p>A single blind randomised controlled trial is proposed to examine a primary care cardiac rehabilitation programme for adults post transient ischemic attack (TIA) and stroke in effecting a positive change in the primary outcome measures of cardiac risk scores derived from Blood Pressure, lipid profile, smoking and diabetic status and lifestyle factors of habitual smoking, exercise and healthy eating participation. Secondary outcomes of interest include health related quality of life as measured by the Hospital Anxiety and Depression Scale, the Stroke Specific Quality of Life scale and WONCA COOP Functional Health Status charts and cardiovascular fitness as measured by a sub-maximal fitness test.</p> <p>A total of 144 patients, over 18 years of age with confirmed diagnosis of ischaemic stroke or TIA, will be recruited from Dublin community stroke services and two tertiary T.I.A clinics. Exclusion criteria will include oxygen dependence, unstable cardiac conditions, uncontrolled diabetes, major medical conditions, claudication, febrile illness, pregnancy or cognitive impairment. Participants will be block-statified, randomly allocated to one of two groups using a pre-prepared computer generated randomisation schedule. Both groups will receive a two hour education class on risk reduction post stroke. The intervention group will receive a 10 week programme of supervised aerobic exercises (twice weekly) and individually tailored brief intervention lifestyle counselling. Both groups will be tested on week one and week ten of the programme. Follow-up at 1 year will assess longer term benefits. Analysis will test for significant changes in the key variables indicated.</p> <p>Discussion</p> <p>Application of the Cardiac Rehabilitation paradigm to patients with ischaemic stroke or TIA has not been explored despite the obvious overlap in aetiology. It is hoped the anticipated improvement in vascular risk factors and fitness resulting from such a programme will enhance health and social gain in this population.</p> <p>Trial Registration</p> <p>Current Controlled Trials ISCTRN90272638.</p